<html>
<head><meta charset="utf-8"><title>I-prioritize #80062 ICE: &#x27;index out of bounds: the len is 0… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html">I-prioritize #80062 ICE: &#x27;index out of bounds: the len is 0…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="220532111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220532111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220532111">(Dec 20 2020 at 18:57)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/80062">#80062</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="220602637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220602637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220602637">(Dec 21 2020 at 16:34)</a>:</h4>
<p>This is an ICE but it requires writing some pretty incorrect code: P-medium? though I could imagine with const generics becoming a thing, we might want  to prioritize this more since it might be more likely people will write incorrect code like this.</p>



<a name="220602833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220602833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220602833">(Dec 21 2020 at 16:36)</a>:</h4>
<p>It panics while creating the "mismatched types" error</p>



<a name="220602853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220602853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220602853">(Dec 21 2020 at 16:37)</a>:</h4>
<p>Which is a shame because it's the error that matters the most here IMO</p>



<a name="220603100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220603100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220603100">(Dec 21 2020 at 16:39)</a>:</h4>
<p>And the error it gives before ICEing is kind of confusing: <code>the size for values of type T cannot be known at compilation time</code></p>



<a name="220603215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220603215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220603215">(Dec 21 2020 at 16:40)</a>:</h4>
<p><code>P-medium</code> sounds appropriate though</p>



<a name="220603529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220603529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220603529">(Dec 21 2020 at 16:43)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@Léo Lanteri Thauvin</span> mind if I try to add the label? I'm not sure if I have permissions...</p>



<a name="220603652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220603652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220603652">(Dec 21 2020 at 16:44)</a>:</h4>
<p>If you're interested in helping with prioritization we can add you to the WG <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span></p>



<a name="220603724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220603724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220603724">(Dec 21 2020 at 16:45)</a>:</h4>
<p>Yes I would love to devote ~20 minutes a day to the cause if I can <span aria-label="blush" class="emoji emoji-1f60a" role="img" title="blush">:blush:</span></p>



<a name="220603819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220603819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220603819">(Dec 21 2020 at 16:46)</a>:</h4>
<p>(Because you won't be able to add the <code>P-*</code> labels with <code>@rustbot</code>)</p>



<a name="220603882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220603882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220603882">(Dec 21 2020 at 16:46)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@Léo Lanteri Thauvin</span> I don't have permissions indeed. You can add me to the team or I can just wait until 2021 to discuss with others about me joining</p>



<a name="220603941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220603941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220603941">(Dec 21 2020 at 16:47)</a>:</h4>
<p>I don't see why anyone would object</p>



<a name="220603956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220603956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220603956">(Dec 21 2020 at 16:47)</a>:</h4>
<p>I can't add you directly but I can file a PR to <code>rust-lang/team</code></p>



<a name="220604094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220604094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220604094">(Dec 21 2020 at 16:48)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/80062">#80062</a>'s prioritization request has been removed.</p>



<a name="220604104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220604104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220604104">(Dec 21 2020 at 16:48)</a>:</h4>
<p>Thanks!</p>



<a name="220604606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220604606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220604606">(Dec 21 2020 at 16:53)</a>:</h4>
<p>(Filed <a href="https://github.com/rust-lang/team/issues/500">team#500</a>, requested approval from <span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span>)</p>



<a name="220786195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220786195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220786195">(Dec 23 2020 at 12:56)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">Léo Lanteri Thauvin</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2380062.20ICE.3A.20'index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6/near/220603819">said</a>:</p>
<blockquote>
<p>(Because you won't be able to add the <code>P-*</code> labels with <code>@rustbot</code>)</p>
</blockquote>
<p>I usually add labels on the issue page (am not part of the allowed team to invoke <code>@rustbot</code>)</p>



<a name="220787053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220787053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220787053">(Dec 23 2020 at 13:10)</a>:</h4>
<p><span class="user-mention silent" data-user-id="250987">apiraino</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2380062.20ICE.3A.20'index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6/near/220786195">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">Léo Lanteri Thauvin</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2380062.20ICE.3A.20'index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6/near/220603819">said</a>:</p>
<blockquote>
<p>(Because you won't be able to add the <code>P-*</code> labels with <code>@rustbot</code>)</p>
</blockquote>
<p>I usually add labels on the issue page (am not part of the allowed team to invoke <code>@rustbot</code>)</p>
</blockquote>
<p>Sorry, I didn't understand what you meant</p>



<a name="220787740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220787740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220787740">(Dec 23 2020 at 13:20)</a>:</h4>
<p>sorry :) i just meant that not having permissions to  use the rustbot is not a blocker to assign labels (I usually apply these labels when I'm of the github issue page to understand what the issue is about)</p>



<a name="220826897"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380062%20ICE%3A%20%27index%20out%20of%20bounds%3A%20the%20len%20is%200%E2%80%A6/near/220826897" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380062.20ICE.3A.20&#x27;index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6.html#220826897">(Dec 23 2020 at 21:00)</a>:</h4>
<p><span class="user-mention silent" data-user-id="250987">apiraino</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2380062.20ICE.3A.20'index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6/near/220786195">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">Léo Lanteri Thauvin</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2380062.20ICE.3A.20'index.20out.20of.20bounds.3A.20the.20len.20is.200.E2.80.A6/near/220603819">said</a>:</p>
<blockquote>
<p>(Because you won't be able to add the <code>P-*</code> labels with <code>@rustbot</code>)</p>
</blockquote>
<p>I usually add labels on the issue page (am not part of the allowed team to invoke <code>@rustbot</code>)</p>
</blockquote>
<p>Hmm, but you're part of WG-prioritization: you should be able to invoke rustbot.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>